$\forall$$i$:Id, $k$:Knd, $L$:(IdLnk List). Rbframe($i$;$k$;$L$) $\Vdash$ ${\it es}$.@$i$:$k$ sends only on links in $L$